√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

intuitionistic type theory中文什么意思

發(fā)音:   用"intuitionistic type theory"造句
  • 歸納類型
  • 直覺類型理論
  • 直覺類型論
  • type:    n. 1.型，類型，(工業(yè)產品的)品種；風格，型式。 2 ...
  • theory:    n. 1.理論，學理，原理。 2.學說，論說 (opp. ...
  • intuitionistic:    直觀的; 直覺的; 直覺皺的
  • s type theory:    喬施類型理論; 楊施的類型理論
  • type theory:    類型論, 類型理論; 邏輯類型
下載手機詞典可隨時隨地查詞查翻譯

百科釋義

    Intuitionistic type theory, or constructive type theory, or Martin-L?f type theory is a type theory and an alternative foundation of mathematics based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per Martin-L?f, a Swedish mathematician and philosopher, in 1972.
    詳細百科解釋

相關詞匯

        type:    n. 1.型，類型，(工業(yè)產品的)品種；風格，型式。 2 ...
        theory:    n. 1.理論，學理，原理。 2.學說，論說 (opp. ...
        intuitionistic:    直觀的; 直覺的; 直覺皺的
        s type theory:    喬施類型理論; 楊施的類型理論
        type theory:    類型論, 類型理論; 邏輯類型
        intuitionistic logic:    構造性邏輯; 直覺邏輯; 直覺主義邏輯
        biological theory of sex type:    性別類型的生物學理論
        blood type theory:    血型說
        blood type theory of temperament:    氣質血型說
        body type theory:    體型說
        chiasma type theory:    交叉型學說
        psychological type theory:    心理類型論
        ramified theory of type:    分歧類型論
        simple type theory:    簡單類型理論
        theory of body type:    體型論
        theory of character function type:    性格機能類型論
        intuitionistic fuzzy sets:    模糊集
        and theory:    經驗與理論，119
        in theory:    從理論上說; 理論上，理論上講
        s theory:    弗洛倫斯學說; 戈爾茨學說; 赫伯理論; 嘉農氏理論
        the theory of the:    事業(yè)理論
        theory:    n. 1.理論，學理，原理。 2.學說，論說 (opp. hypothesis)。 3.推測，揣度。 4.〔口語〕見解，意見。 the theory of two points 兩點論。 Darwin's theory of evolution 達爾文的進化論。 theory of equations 【數學】方程論。 theory of everything 【物理學】(把相對論、量子論和宇宙大爆炸理論都包括在內的)萬用理論。 theory of relativity 【物理學】相對論。 the atomic theory 原子說。 Our scheme is good both in theory and in practice. 我們的方案在理論上和實施上都是好的。 combine [separate] theory with [from] practice 理論結合[脫離]實際。 My theory is that we must bring new blood into the Institute through appointment of younger men to important positions. 我的意見是我們學院應該通過重用年輕一些的人來注入新的血液。 theory of games 博弈論，對策論，權衡利弊得失的形勢分析。
        theory of:    經驗的理論，6
        will theory:    意思說
        -type:    后綴 ＝ type: prototype, ferrotype.

其他語言

相鄰詞匯

  1. intuitionist 什么意思
  2. intuitionist logic 什么意思
  3. intuitionistic 什么意思
  4. intuitionistic fuzzy sets 什么意思
  5. intuitionistic logic 什么意思
  6. intuitive 什么意思
  7. intuitive activity 什么意思
  8. intuitive approach 什么意思
  9. intuitive concept of number 什么意思
  10. intuitive decision making 什么意思
桌面版繁體版English

相關閱讀

Copyright ? 2025 WordTech Co.